node(1).
node(2).
node(3).
node(4).
node(5).
node(6).
node(7).
node(8).
node(9).
node(10).
node(11).
node(12).
node(13).
node(14).
node(15).
node(16).
node(17).
node(18).
node(19).
node(20).
node(21).
node(22).
node(23).
node(24).
node(25).
node(26).
node(27).
node(28).
node(29).
node(30).
node(31).
node(32).
node(33).
node(34).
node(35).
node(36).
node(37).
node(38).
node(39).
node(40).
node(41).
node(42).
node(43).
node(44).
node(45).
node(46).
node(47).
node(48).
node(49).
node(50).
node(51).
node(52).
node(53).
node(54).
node(55).
node(56).
node(57).
node(58).
node(59).
node(60).
node(61).
node(62).
node(63).
node(64).
node(65).
node(66).
node(67).
node(68).
node(69).
node(70).
node(71).
node(72).
node(73).
node(74).
node(75).
node(76).
node(77).
node(78).
node(79).
node(80).
node(81).
node(82).
node(83).
node(84).
node(85).
node(86).
node(87).
node(88).
node(89).
node(90).
node(91).
node(92).
node(93).
node(94).
node(95).
node(96).
node(97).
node(98).
node(99).
node(100).
node(101).
node(102).
node(103).
node(104).
node(105).
node(106).
node(107).
node(108).
node(109).
node(110).
node(111).
node(112).
node(113).
node(114).
node(115).
node(116).
node(117).
node(118).
node(119).
node(120).
node(121).
node(122).
node(123).
node(124).
node(125).
node(126).
node(127).
node(128).
node(129).
node(130).
node(131).
node(132).
node(133).
node(134).
node(135).
node(136).
node(137).
node(138).
node(139).
node(140).
link(1,3) :- #0.387.
link(3,1) :- #0.937.
link(1,17) :- #0.644.
link(17,1) :- #0.048.
link(1,28) :- #0.957.
link(28,1) :- #0.229.
link(1,34) :- #0.762.
link(34,1) :- #0.802.
link(1,36) :- #0.597.
link(36,1) :- #0.151.
link(1,42) :- #0.115.
link(42,1) :- #0.067.
link(1,50) :- #0.632.
link(50,1) :- #0.316.
link(1,52) :- #0.702.
link(52,1) :- #0.375.
link(1,57) :- #0.629.
link(57,1) :- #0.521.
link(1,62) :- #0.144.
link(62,1) :- #0.799.
link(1,64) :- #0.522.
link(64,1) :- #0.594.
link(1,68) :- #0.173.
link(68,1) :- #0.424.
link(1,73) :- #0.132.
link(73,1) :- #0.805.
link(1,81) :- #0.909.
link(81,1) :- #0.522.
link(1,82) :- #0.239.
link(82,1) :- #0.69.
link(1,87) :- #0.531.
link(87,1) :- #0.94.
link(1,93) :- #0.452.
link(93,1) :- #0.954.
link(1,108) :- #0.49.
link(108,1) :- #0.469.
link(1,113) :- #0.43.
link(113,1) :- #0.361.
link(1,114) :- #0.653.
link(114,1) :- #0.674.
link(1,118) :- #0.923.
link(118,1) :- #0.967.
link(1,119) :- #0.253.
link(119,1) :- #0.587.
link(1,124) :- #0.894.
link(124,1) :- #0.191.
link(1,129) :- #0.282.
link(129,1) :- #0.47.
link(1,133) :- #0.505.
link(133,1) :- #0.1.
link(1,134) :- #0.199.
link(134,1) :- #0.703.
link(1,139) :- #0.106.
link(139,1) :- #0.333.
link(2,3) :- #0.745.
link(3,2) :- #0.581.
link(2,10) :- #0.869.
link(10,2) :- #0.394.
link(2,13) :- #0.046.
link(13,2) :- #0.055.
link(2,14) :- #0.389.
link(14,2) :- #0.017.
link(2,29) :- #0.491.
link(29,2) :- #0.006.
link(2,32) :- #0.018.
link(32,2) :- #0.234.
link(2,34) :- #0.492.
link(34,2) :- #0.847.
link(2,63) :- #0.058.
link(63,2) :- #0.826.
link(2,92) :- #0.774.
link(92,2) :- #0.767.
link(2,102) :- #0.991.
link(102,2) :- #0.649.
link(2,104) :- #0.38.
link(104,2) :- #0.709.
link(2,110) :- #0.875.
link(110,2) :- #0.76.
link(2,119) :- #0.81.
link(119,2) :- #0.884.
link(2,137) :- #0.009.
link(137,2) :- #0.373.
link(3,38) :- #0.502.
link(38,3) :- #0.764.
link(3,41) :- #0.061.
link(41,3) :- #0.905.
link(3,44) :- #0.908.
link(44,3) :- #0.768.
link(3,51) :- #0.669.
link(51,3) :- #0.261.
link(3,53) :- #0.339.
link(53,3) :- #0.248.
link(3,61) :- #0.936.
link(61,3) :- #0.157.
link(3,70) :- #0.397.
link(70,3) :- #0.658.
link(3,73) :- #0.442.
link(73,3) :- #0.517.
link(3,91) :- #0.377.
link(91,3) :- #0.532.
link(3,94) :- #0.962.
link(94,3) :- #0.788.
link(3,95) :- #0.664.
link(95,3) :- #0.737.
link(3,113) :- #0.768.
link(113,3) :- #0.33.
link(3,115) :- #0.518.
link(115,3) :- #0.709.
link(3,120) :- #0.625.
link(120,3) :- #0.824.
link(3,132) :- #0.236.
link(132,3) :- #0.549.
link(3,136) :- #0.518.
link(136,3) :- #0.936.
link(4,29) :- #0.731.
link(29,4) :- #0.837.
link(4,35) :- #0.099.
link(35,4) :- #0.13.
link(4,43) :- #0.647.
link(43,4) :- #0.395.
link(4,47) :- #0.446.
link(47,4) :- #0.845.
link(4,50) :- #0.329.
link(50,4) :- #0.355.
link(4,56) :- #0.086.
link(56,4) :- #0.83.
link(4,64) :- #0.787.
link(64,4) :- #0.437.
link(4,75) :- #0.517.
link(75,4) :- #0.915.
link(4,94) :- #0.142.
link(94,4) :- #0.14.
link(4,101) :- #0.59.
link(101,4) :- #0.165.
link(4,120) :- #0.513.
link(120,4) :- #0.373.
link(4,134) :- #0.702.
link(134,4) :- #0.279.
link(5,9) :- #0.443.
link(9,5) :- #0.193.
link(5,23) :- #0.616.
link(23,5) :- #0.21.
link(5,27) :- #0.595.
link(27,5) :- #0.641.
link(5,29) :- #0.873.
link(29,5) :- #0.63.
link(5,85) :- #0.678.
link(85,5) :- #0.92.
link(5,86) :- #0.955.
link(86,5) :- #0.914.
link(5,89) :- #0.455.
link(89,5) :- #0.314.
link(5,92) :- #0.961.
link(92,5) :- #0.222.
link(5,98) :- #0.937.
link(98,5) :- #0.587.
link(5,106) :- #0.291.
link(106,5) :- #0.751.
link(5,131) :- #0.77.
link(131,5) :- #0.004.
link(6,21) :- #0.406.
link(21,6) :- #0.055.
link(6,31) :- #0.627.
link(31,6) :- #0.567.
link(6,37) :- #0.826.
link(37,6) :- #0.958.
link(6,49) :- #0.707.
link(49,6) :- #0.368.
link(6,58) :- #0.244.
link(58,6) :- #0.095.
link(6,60) :- #0.983.
link(60,6) :- #0.639.
link(6,69) :- #0.509.
link(69,6) :- #0.665.
link(6,80) :- #0.47.
link(80,6) :- #0.017.
link(6,101) :- #0.883.
link(101,6) :- #0.059.
link(6,105) :- #0.915.
link(105,6) :- #0.746.
link(6,108) :- #0.731.
link(108,6) :- #0.475.
link(6,133) :- #0.86.
link(133,6) :- #0.959.
link(7,13) :- #0.728.
link(13,7) :- #0.241.
link(7,19) :- #0.162.
link(19,7) :- #0.294.
link(7,57) :- #0.065.
link(57,7) :- #0.988.
link(7,65) :- #0.788.
link(65,7) :- #0.007.
link(7,79) :- #0.342.
link(79,7) :- #0.11.
link(7,86) :- #0.899.
link(86,7) :- #0.287.
link(7,88) :- #0.181.
link(88,7) :- #0.519.
link(7,102) :- #0.981.
link(102,7) :- #0.947.
link(8,12) :- #0.751.
link(12,8) :- #0.904.
link(8,13) :- #0.734.
link(13,8) :- #0.348.
link(8,20) :- #0.632.
link(20,8) :- #0.802.
link(8,26) :- #0.689.
link(26,8) :- #0.628.
link(8,42) :- #0.846.
link(42,8) :- #0.246.
link(8,96) :- #0.509.
link(96,8) :- #0.924.
link(8,109) :- #0.563.
link(109,8) :- #0.775.
link(8,117) :- #0.833.
link(117,8) :- #0.578.
link(8,120) :- #0.55.
link(120,8) :- #0.912.
link(8,137) :- #0.445.
link(137,8) :- #0.81.
link(9,16) :- #0.748.
link(16,9) :- #0.637.
link(9,30) :- #0.878.
link(30,9) :- #0.166.
link(9,38) :- #0.598.
link(38,9) :- #0.207.
link(9,46) :- #0.929.
link(46,9) :- #0.447.
link(9,55) :- #0.566.
link(55,9) :- #0.252.
link(9,63) :- #0.69.
link(63,9) :- #0.834.
link(9,79) :- #0.294.
link(79,9) :- #0.066.
link(9,106) :- #0.706.
link(106,9) :- #0.305.
link(9,113) :- #0.671.
link(113,9) :- #0.629.
link(9,124) :- #0.766.
link(124,9) :- #0.408.
link(9,127) :- #0.594.
link(127,9) :- #0.918.
link(9,132) :- #0.292.
link(132,9) :- #0.095.
link(9,140) :- #0.127.
link(140,9) :- #0.632.
link(10,11) :- #0.542.
link(11,10) :- #0.069.
link(10,16) :- #0.211.
link(16,10) :- #0.551.
link(10,30) :- #0.219.
link(30,10) :- #0.457.
link(10,40) :- #0.737.
link(40,10) :- #0.315.
link(10,58) :- #0.908.
link(58,10) :- #0.083.
link(10,93) :- #0.229.
link(93,10) :- #0.705.
link(10,97) :- #0.075.
link(97,10) :- #0.232.
link(10,99) :- #0.15.
link(99,10) :- #0.267.
link(10,114) :- #0.685.
link(114,10) :- #0.069.
link(10,117) :- #0.854.
link(117,10) :- #0.882.
link(10,130) :- #0.396.
link(130,10) :- #0.45.
link(11,41) :- #0.054.
link(41,11) :- #0.129.
link(11,46) :- #0.57.
link(46,11) :- #0.127.
link(11,48) :- #0.554.
link(48,11) :- #0.917.
link(11,50) :- #0.178.
link(50,11) :- #0.645.
link(11,71) :- #0.467.
link(71,11) :- #0.025.
link(11,91) :- #0.983.
link(91,11) :- #0.9.
link(11,100) :- #0.811.
link(100,11) :- #0.177.
link(11,109) :- #0.132.
link(109,11) :- #0.205.
link(11,124) :- #0.667.
link(124,11) :- #0.968.
link(11,131) :- #0.315.
link(131,11) :- #0.273.
link(11,135) :- #0.08.
link(135,11) :- #0.866.
link(11,138) :- #0.861.
link(138,11) :- #0.025.
link(12,23) :- #0.796.
link(23,12) :- #0.469.
link(12,39) :- #0.315.
link(39,12) :- #0.178.
link(12,48) :- #0.413.
link(48,12) :- #0.804.
link(12,51) :- #0.786.
link(51,12) :- #0.861.
link(12,60) :- #0.554.
link(60,12) :- #0.42.
link(12,66) :- #0.747.
link(66,12) :- #0.724.
link(12,76) :- #0.333.
link(76,12) :- #0.239.
link(12,82) :- #0.032.
link(82,12) :- #0.434.
link(12,110) :- #0.67.
link(110,12) :- #0.094.
link(12,121) :- #0.97.
link(121,12) :- #0.646.
link(12,130) :- #0.237.
link(130,12) :- #0.662.
link(13,22) :- #0.44.
link(22,13) :- #0.504.
link(13,42) :- #0.051.
link(42,13) :- #0.494.
link(13,46) :- #0.823.
link(46,13) :- #0.916.
link(13,59) :- #0.566.
link(59,13) :- #0.394.
link(13,80) :- #0.56.
link(80,13) :- #0.849.
link(13,82) :- #0.584.
link(82,13) :- #0.586.
link(13,88) :- #0.029.
link(88,13) :- #0.181.
link(13,94) :- #0.446.
link(94,13) :- #0.656.
link(13,106) :- #0.764.
link(106,13) :- #0.343.
link(14,23) :- #0.595.
link(23,14) :- #0.969.
link(14,37) :- #0.363.
link(37,14) :- #0.61.
link(14,94) :- #0.315.
link(94,14) :- #0.205.
link(14,104) :- #0.593.
link(104,14) :- #0.072.
link(14,119) :- #0.855.
link(119,14) :- #0.332.
link(14,130) :- #0.981.
link(130,14) :- #0.608.
link(15,22) :- #0.292.
link(22,15) :- #0.137.
link(15,26) :- #0.084.
link(26,15) :- #0.76.
link(15,27) :- #0.875.
link(27,15) :- #0.682.
link(15,30) :- #0.653.
link(30,15) :- #0.84.
link(15,67) :- #0.719.
link(67,15) :- #0.357.
link(15,68) :- #0.078.
link(68,15) :- #0.596.
link(15,112) :- #0.91.
link(112,15) :- #0.649.
link(15,125) :- #0.103.
link(125,15) :- #0.957.
link(15,130) :- #0.299.
link(130,15) :- #0.346.
link(15,133) :- #0.471.
link(133,15) :- #0.935.
link(15,136) :- #0.766.
link(136,15) :- #0.383.
link(16,21) :- #0.302.
link(21,16) :- #0.445.
link(16,27) :- #0.783.
link(27,16) :- #0.261.
link(16,40) :- #0.941.
link(40,16) :- #0.227.
link(16,45) :- #0.013.
link(45,16) :- #0.463.
link(16,57) :- #0.379.
link(57,16) :- #0.036.
link(16,75) :- #0.958.
link(75,16) :- #0.149.
link(16,85) :- #0.939.
link(85,16) :- #0.986.
link(16,97) :- #0.657.
link(97,16) :- #0.975.
link(16,113) :- #0.719.
link(113,16) :- #0.216.
link(16,118) :- #0.009.
link(118,16) :- #0.99.
link(16,133) :- #0.637.
link(133,16) :- #0.539.
link(16,140) :- #0.668.
link(140,16) :- #0.399.
link(17,20) :- #0.966.
link(20,17) :- #0.45.
link(17,28) :- #0.965.
link(28,17) :- #0.594.
link(17,33) :- #0.082.
link(33,17) :- #0.817.
link(17,49) :- #0.038.
link(49,17) :- #0.261.
link(17,64) :- #0.889.
link(64,17) :- #0.884.
link(17,87) :- #0.064.
link(87,17) :- #0.903.
link(17,103) :- #0.021.
link(103,17) :- #0.468.
link(17,118) :- #0.162.
link(118,17) :- #0.516.
link(17,127) :- #0.488.
link(127,17) :- #0.448.
link(17,136) :- #0.308.
link(136,17) :- #0.078.
link(17,137) :- #0.737.
link(137,17) :- #0.105.
link(18,37) :- #0.453.
link(37,18) :- #0.535.
link(18,39) :- #0.311.
link(39,18) :- #0.481.
link(18,43) :- #0.43.
link(43,18) :- #0.869.
link(18,57) :- #0.758.
link(57,18) :- #0.627.
link(18,58) :- #0.023.
link(58,18) :- #0.148.
link(18,62) :- #0.66.
link(62,18) :- #0.225.
link(18,69) :- #0.758.
link(69,18) :- #0.16.
link(18,78) :- #0.499.
link(78,18) :- #0.135.
link(18,79) :- #0.193.
link(79,18) :- #0.611.
link(18,82) :- #0.262.
link(82,18) :- #0.8.
link(18,112) :- #0.184.
link(112,18) :- #0.236.
link(18,137) :- #0.714.
link(137,18) :- #0.139.
link(19,53) :- #0.345.
link(53,19) :- #0.587.
link(19,60) :- #0.037.
link(60,19) :- #0.551.
link(19,105) :- #0.559.
link(105,19) :- #0.301.
link(19,106) :- #0.17.
link(106,19) :- #0.411.
link(19,115) :- #0.329.
link(115,19) :- #0.143.
link(19,127) :- #0.773.
link(127,19) :- #0.985.
link(19,128) :- #0.359.
link(128,19) :- #0.977.
link(19,136) :- #0.05.
link(136,19) :- #0.072.
link(20,37) :- #0.252.
link(37,20) :- #0.571.
link(20,40) :- #0.888.
link(40,20) :- #0.874.
link(20,47) :- #0.374.
link(47,20) :- #0.072.
link(20,57) :- #0.481.
link(57,20) :- #0.233.
link(20,61) :- #0.96.
link(61,20) :- #0.337.
link(20,62) :- #0.971.
link(62,20) :- #0.479.
link(20,67) :- #0.548.
link(67,20) :- #0.656.
link(20,75) :- #0.963.
link(75,20) :- #0.778.
link(20,83) :- #0.956.
link(83,20) :- #0.798.
link(20,97) :- #0.465.
link(97,20) :- #0.253.
link(20,115) :- #0.777.
link(115,20) :- #0.61.
link(21,29) :- #0.664.
link(29,21) :- #0.699.
link(21,34) :- #0.784.
link(34,21) :- #0.395.
link(21,38) :- #0.663.
link(38,21) :- #0.857.
link(21,40) :- #0.68.
link(40,21) :- #0.134.
link(21,43) :- #0.293.
link(43,21) :- #0.717.
link(21,54) :- #0.178.
link(54,21) :- #0.95.
link(21,68) :- #0.199.
link(68,21) :- #0.767.
link(21,76) :- #0.856.
link(76,21) :- #0.363.
link(21,87) :- #0.698.
link(87,21) :- #0.796.
link(21,88) :- #0.354.
link(88,21) :- #0.292.
link(21,100) :- #0.328.
link(100,21) :- #0.282.
link(21,110) :- #0.143.
link(110,21) :- #0.167.
link(21,113) :- #0.442.
link(113,21) :- #0.563.
link(21,115) :- #0.898.
link(115,21) :- #0.94.
link(21,126) :- #0.586.
link(126,21) :- #0.275.
link(21,140) :- #0.717.
link(140,21) :- #0.395.
link(22,53) :- #0.334.
link(53,22) :- #0.55.
link(22,58) :- #0.634.
link(58,22) :- #0.734.
link(22,62) :- #0.9.
link(62,22) :- #0.595.
link(22,82) :- #0.683.
link(82,22) :- #0.318.
link(22,90) :- #0.324.
link(90,22) :- #0.685.
link(22,105) :- #0.682.
link(105,22) :- #0.352.
link(22,113) :- #0.772.
link(113,22) :- #0.648.
link(22,127) :- #0.943.
link(127,22) :- #0.81.
link(23,24) :- #0.203.
link(24,23) :- #0.402.
link(23,29) :- #0.722.
link(29,23) :- #0.395.
link(23,31) :- #0.983.
link(31,23) :- #0.291.
link(23,35) :- #0.752.
link(35,23) :- #0.824.
link(23,42) :- #0.286.
link(42,23) :- #0.291.
link(23,60) :- #0.075.
link(60,23) :- #0.314.
link(23,62) :- #0.127.
link(62,23) :- #0.865.
link(23,67) :- #0.314.
link(67,23) :- #0.061.
link(23,76) :- #0.611.
link(76,23) :- #0.271.
link(23,79) :- #0.847.
link(79,23) :- #0.782.
link(23,82) :- #0.406.
link(82,23) :- #0.882.
link(23,85) :- #0.229.
link(85,23) :- #0.357.
link(23,92) :- #0.229.
link(92,23) :- #0.823.
link(23,118) :- #0.795.
link(118,23) :- #0.249.
link(23,126) :- #0.314.
link(126,23) :- #0.587.
link(24,33) :- #0.324.
link(33,24) :- #0.179.
link(24,39) :- #0.84.
link(39,24) :- #0.983.
link(24,41) :- #0.004.
link(41,24) :- #0.317.
link(24,70) :- #0.248.
link(70,24) :- #0.414.
link(24,98) :- #0.695.
link(98,24) :- #0.804.
link(24,115) :- #0.364.
link(115,24) :- #0.405.
link(24,136) :- #0.714.
link(136,24) :- #0.259.
link(25,29) :- #0.619.
link(29,25) :- #0.104.
link(25,33) :- #0.318.
link(33,25) :- #0.222.
link(25,40) :- #0.045.
link(40,25) :- #0.008.
link(25,57) :- #0.846.
link(57,25) :- #0.499.
link(25,76) :- #0.734.
link(76,25) :- #0.118.
link(25,106) :- #0.685.
link(106,25) :- #0.507.
link(25,110) :- #0.328.
link(110,25) :- #0.423.
link(25,131) :- #0.875.
link(131,25) :- #0.082.
link(25,133) :- #0.578.
link(133,25) :- #0.77.
link(26,31) :- #0.278.
link(31,26) :- #0.466.
link(26,41) :- #0.071.
link(41,26) :- #0.704.
link(26,46) :- #0.691.
link(46,26) :- #0.229.
link(26,60) :- #0.652.
link(60,26) :- #0.474.
link(26,64) :- #0.587.
link(64,26) :- #0.607.
link(26,69) :- #0.604.
link(69,26) :- #0.541.
link(26,72) :- #0.018.
link(72,26) :- #0.873.
link(26,81) :- #0.155.
link(81,26) :- #0.313.
link(26,84) :- #0.571.
link(84,26) :- #0.127.
link(26,88) :- #0.784.
link(88,26) :- #0.506.
link(26,103) :- #0.757.
link(103,26) :- #0.655.
link(26,106) :- #0.176.
link(106,26) :- #0.179.
link(26,111) :- #0.13.
link(111,26) :- #0.401.
link(26,130) :- #0.464.
link(130,26) :- #0.73.
link(26,136) :- #0.366.
link(136,26) :- #0.263.
link(27,37) :- #0.992.
link(37,27) :- #0.644.
link(27,38) :- #0.211.
link(38,27) :- #0.653.
link(27,47) :- #0.733.
link(47,27) :- #0.741.
link(27,59) :- #0.995.
link(59,27) :- #0.126.
link(27,67) :- #0.241.
link(67,27) :- #0.766.
link(27,68) :- #0.613.
link(68,27) :- #0.886.
link(27,76) :- #0.874.
link(76,27) :- #0.118.
link(27,106) :- #0.655.
link(106,27) :- #0.426.
link(27,114) :- #0.515.
link(114,27) :- #0.053.
link(27,117) :- #0.427.
link(117,27) :- #0.86.
link(27,121) :- #0.234.
link(121,27) :- #0.035.
link(28,61) :- #0.122.
link(61,28) :- #0.117.
link(28,91) :- #0.874.
link(91,28) :- #0.9.
link(28,97) :- #0.328.
link(97,28) :- #0.882.
link(28,103) :- #0.095.
link(103,28) :- #0.737.
link(28,112) :- #0.639.
link(112,28) :- #0.126.
link(28,127) :- #0.895.
link(127,28) :- #0.904.
link(29,30) :- #0.594.
link(30,29) :- #0.462.
link(29,53) :- #0.216.
link(53,29) :- #0.474.
link(29,98) :- #0.728.
link(98,29) :- #0.205.
link(29,101) :- #0.111.
link(101,29) :- #0.583.
link(29,123) :- #0.827.
link(123,29) :- #0.407.
link(29,130) :- #0.906.
link(130,29) :- #0.466.
link(29,132) :- #0.577.
link(132,29) :- #0.964.
link(30,40) :- #0.148.
link(40,30) :- #0.23.
link(30,55) :- #0.826.
link(55,30) :- #0.774.
link(30,67) :- #0.385.
link(67,30) :- #0.982.
link(30,72) :- #0.564.
link(72,30) :- #0.456.
link(30,94) :- #0.407.
link(94,30) :- #0.779.
link(30,101) :- #0.976.
link(101,30) :- #0.213.
link(30,115) :- #0.684.
link(115,30) :- #0.764.
link(30,121) :- #0.413.
link(121,30) :- #0.307.
link(31,36) :- #0.893.
link(36,31) :- #0.833.
link(31,45) :- #0.785.
link(45,31) :- #0.612.
link(31,67) :- #0.572.
link(67,31) :- #0.596.
link(31,76) :- #0.381.
link(76,31) :- #0.818.
link(31,81) :- #0.679.
link(81,31) :- #0.223.
link(31,96) :- #0.966.
link(96,31) :- #0.634.
link(31,106) :- #0.777.
link(106,31) :- #0.98.
link(31,109) :- #0.668.
link(109,31) :- #0.604.
link(31,115) :- #0.523.
link(115,31) :- #0.793.
link(31,133) :- #0.5.
link(133,31) :- #0.698.
link(32,43) :- #0.319.
link(43,32) :- #0.588.
link(32,55) :- #0.916.
link(55,32) :- #0.365.
link(32,68) :- #0.372.
link(68,32) :- #0.4.
link(32,74) :- #0.71.
link(74,32) :- #0.17.
link(32,84) :- #0.89.
link(84,32) :- #0.325.
link(32,90) :- #0.257.
link(90,32) :- #0.079.
link(32,91) :- #0.83.
link(91,32) :- #0.487.
link(32,107) :- #0.252.
link(107,32) :- #0.082.
link(32,108) :- #0.048.
link(108,32) :- #0.619.
link(32,120) :- #0.918.
link(120,32) :- #0.489.
link(32,126) :- #0.199.
link(126,32) :- #0.962.
link(32,128) :- #0.289.
link(128,32) :- #0.45.
link(32,132) :- #0.437.
link(132,32) :- #0.818.
link(32,140) :- #0.731.
link(140,32) :- #0.019.
link(33,38) :- #0.337.
link(38,33) :- #0.529.
link(33,52) :- #0.83.
link(52,33) :- #0.383.
link(33,64) :- #0.395.
link(64,33) :- #0.363.
link(33,65) :- #0.295.
link(65,33) :- #0.398.
link(33,70) :- #0.45.
link(70,33) :- #0.082.
link(33,78) :- #0.396.
link(78,33) :- #0.506.
link(33,96) :- #0.061.
link(96,33) :- #0.771.
link(33,135) :- #0.682.
link(135,33) :- #0.117.
link(34,47) :- #0.864.
link(47,34) :- #0.226.
link(34,48) :- #0.69.
link(48,34) :- #0.877.
link(34,69) :- #0.54.
link(69,34) :- #0.306.
link(34,105) :- #0.772.
link(105,34) :- #0.497.
link(34,110) :- #0.008.
link(110,34) :- #0.5.
link(34,115) :- #0.929.
link(115,34) :- #0.496.
link(34,129) :- #0.79.
link(129,34) :- #0.629.
link(34,130) :- #0.298.
link(130,34) :- #0.617.
link(35,38) :- #0.094.
link(38,35) :- #0.458.
link(35,39) :- #0.849.
link(39,35) :- #0.712.
link(35,50) :- #0.607.
link(50,35) :- #0.646.
link(35,60) :- #0.649.
link(60,35) :- #0.526.
link(35,61) :- #0.468.
link(61,35) :- #0.257.
link(35,75) :- #0.178.
link(75,35) :- #0.302.
link(35,82) :- #0.526.
link(82,35) :- #0.232.
link(35,83) :- #0.304.
link(83,35) :- #0.21.
link(35,96) :- #0.163.
link(96,35) :- #0.094.
link(35,108) :- #0.53.
link(108,35) :- #0.8.
link(35,112) :- #0.482.
link(112,35) :- #0.498.
link(35,121) :- #0.55.
link(121,35) :- #0.526.
link(35,123) :- #0.014.
link(123,35) :- #0.387.
link(35,124) :- #0.27.
link(124,35) :- #0.653.
link(35,128) :- #0.826.
link(128,35) :- #0.817.
link(35,137) :- #0.78.
link(137,35) :- #0.914.
link(36,60) :- #0.54.
link(60,36) :- #0.325.
link(36,64) :- #0.888.
link(64,36) :- #0.155.
link(36,66) :- #0.616.
link(66,36) :- #0.835.
link(36,70) :- #0.246.
link(70,36) :- #0.005.
link(36,99) :- #0.935.
link(99,36) :- #0.056.
link(36,104) :- #0.803.
link(104,36) :- #0.692.
link(36,125) :- #0.19.
link(125,36) :- #0.329.
link(36,138) :- #0.597.
link(138,36) :- #0.416.
link(37,46) :- #0.713.
link(46,37) :- #0.551.
link(37,49) :- #0.346.
link(49,37) :- #0.725.
link(37,59) :- #0.653.
link(59,37) :- #0.864.
link(37,69) :- #0.944.
link(69,37) :- #0.88.
link(37,83) :- #0.927.
link(83,37) :- #0.91.
link(37,93) :- #0.842.
link(93,37) :- #0.138.
link(37,106) :- #0.3.
link(106,37) :- #0.844.
link(37,107) :- #0.447.
link(107,37) :- #0.588.
link(37,108) :- #0.465.
link(108,37) :- #0.689.
link(37,114) :- #0.362.
link(114,37) :- #0.988.
link(37,118) :- #0.963.
link(118,37) :- #0.773.
link(37,121) :- #0.63.
link(121,37) :- #0.062.
link(37,123) :- #0.584.
link(123,37) :- #0.63.
link(37,124) :- #0.709.
link(124,37) :- #0.465.
link(37,131) :- #0.93.
link(131,37) :- #0.189.
link(37,137) :- #0.725.
link(137,37) :- #0.154.
link(38,42) :- #0.736.
link(42,38) :- #0.044.
link(38,59) :- #0.654.
link(59,38) :- #0.873.
link(38,72) :- #0.412.
link(72,38) :- #0.049.
link(38,83) :- #0.35.
link(83,38) :- #0.766.
link(38,87) :- #0.716.
link(87,38) :- #0.96.
link(38,98) :- #0.233.
link(98,38) :- #0.742.
link(38,105) :- #0.469.
link(105,38) :- #0.061.
link(38,115) :- #0.734.
link(115,38) :- #0.737.
link(38,123) :- #0.369.
link(123,38) :- #0.109.
link(38,126) :- #0.208.
link(126,38) :- #0.757.
link(38,136) :- #0.952.
link(136,38) :- #0.793.
link(38,138) :- #0.528.
link(138,38) :- #0.902.
link(38,139) :- #0.386.
link(139,38) :- #0.691.
link(39,43) :- #0.391.
link(43,39) :- #0.058.
link(39,49) :- #0.286.
link(49,39) :- #0.223.
link(39,56) :- #0.957.
link(56,39) :- #0.741.
link(39,66) :- #0.228.
link(66,39) :- #0.933.
link(39,75) :- #0.605.
link(75,39) :- #0.6.
link(39,83) :- #0.86.
link(83,39) :- #0.744.
link(39,95) :- #0.694.
link(95,39) :- #0.145.
link(39,96) :- #0.818.
link(96,39) :- #0.376.
link(39,100) :- #0.522.
link(100,39) :- #0.688.
link(39,114) :- #0.369.
link(114,39) :- #0.579.
link(39,128) :- #0.39.
link(128,39) :- #0.819.
link(39,134) :- #0.489.
link(134,39) :- #0.931.
link(39,136) :- #0.464.
link(136,39) :- #0.498.
link(40,58) :- #0.715.
link(58,40) :- #0.931.
link(40,66) :- #0.221.
link(66,40) :- #0.524.
link(40,74) :- #0.563.
link(74,40) :- #0.771.
link(40,112) :- #0.527.
link(112,40) :- #0.408.
link(40,122) :- #0.964.
link(122,40) :- #0.211.
link(40,131) :- #0.162.
link(131,40) :- #0.866.
link(41,55) :- #0.1.
link(55,41) :- #0.263.
link(41,75) :- #0.076.
link(75,41) :- #0.176.
link(41,101) :- #0.43.
link(101,41) :- #0.161.
link(41,105) :- #0.962.
link(105,41) :- #0.642.
link(41,119) :- #0.575.
link(119,41) :- #0.249.
link(41,120) :- #0.737.
link(120,41) :- #0.62.
link(41,133) :- #0.157.
link(133,41) :- #0.679.
link(41,138) :- #0.948.
link(138,41) :- #0.79.
link(42,45) :- #0.69.
link(45,42) :- #0.169.
link(42,48) :- #0.491.
link(48,42) :- #0.219.
link(42,51) :- #0.947.
link(51,42) :- #0.783.
link(42,64) :- #0.862.
link(64,42) :- #0.857.
link(42,107) :- #0.085.
link(107,42) :- #0.707.
link(42,112) :- #0.381.
link(112,42) :- #0.202.
link(42,133) :- #0.625.
link(133,42) :- #0.16.
link(42,135) :- #0.89.
link(135,42) :- #0.511.
link(43,45) :- #0.446.
link(45,43) :- #0.878.
link(43,76) :- #0.651.
link(76,43) :- #0.078.
link(43,77) :- #0.394.
link(77,43) :- #0.41.
link(43,95) :- #0.945.
link(95,43) :- #0.034.
link(43,97) :- #0.417.
link(97,43) :- #0.707.
link(43,109) :- #0.82.
link(109,43) :- #0.228.
link(43,120) :- #0.988.
link(120,43) :- #0.244.
link(43,137) :- #0.037.
link(137,43) :- #0.928.
link(44,54) :- #0.722.
link(54,44) :- #0.983.
link(44,57) :- #0.339.
link(57,44) :- #0.122.
link(44,98) :- #0.819.
link(98,44) :- #0.544.
link(44,102) :- #0.261.
link(102,44) :- #0.716.
link(44,105) :- #0.154.
link(105,44) :- #0.854.
link(44,111) :- #0.974.
link(111,44) :- #0.995.
link(44,119) :- #0.49.
link(119,44) :- #0.444.
link(44,135) :- #0.528.
link(135,44) :- #0.81.
link(44,140) :- #0.411.
link(140,44) :- #0.394.
link(45,49) :- #0.002.
link(49,45) :- #0.286.
link(45,50) :- #0.806.
link(50,45) :- #0.304.
link(45,51) :- #0.679.
link(51,45) :- #0.796.
link(45,60) :- #0.276.
link(60,45) :- #0.676.
link(45,65) :- #0.626.
link(65,45) :- #0.987.
link(45,66) :- #0.956.
link(66,45) :- #0.742.
link(45,79) :- #0.015.
link(79,45) :- #0.851.
link(45,80) :- #0.333.
link(80,45) :- #0.263.
link(45,89) :- #0.765.
link(89,45) :- #0.09.
link(45,93) :- #0.571.
link(93,45) :- #0.686.
link(45,95) :- #0.62.
link(95,45) :- #0.067.
link(45,104) :- #0.184.
link(104,45) :- #0.506.
link(45,134) :- #0.52.
link(134,45) :- #0.709.
link(46,48) :- #0.234.
link(48,46) :- #0.743.
link(46,70) :- #0.049.
link(70,46) :- #0.348.
link(46,73) :- #0.179.
link(73,46) :- #0.506.
link(46,89) :- #0.158.
link(89,46) :- #0.075.
link(46,106) :- #0.366.
link(106,46) :- #0.057.
link(46,117) :- #0.105.
link(117,46) :- #0.212.
link(46,133) :- #0.745.
link(133,46) :- #0.104.
link(47,52) :- #0.43.
link(52,47) :- #0.54.
link(47,95) :- #0.579.
link(95,47) :- #0.235.
link(47,106) :- #0.445.
link(106,47) :- #0.23.
link(47,138) :- #0.755.
link(138,47) :- #0.796.
link(48,50) :- #0.387.
link(50,48) :- #0.924.
link(48,60) :- #0.271.
link(60,48) :- #0.813.
link(48,63) :- #0.729.
link(63,48) :- #0.114.
link(48,65) :- #0.757.
link(65,48) :- #0.057.
link(48,76) :- #0.636.
link(76,48) :- #0.015.
link(48,89) :- #0.687.
link(89,48) :- #0.252.
link(48,90) :- #0.831.
link(90,48) :- #0.409.
link(48,92) :- #0.574.
link(92,48) :- #0.156.
link(48,93) :- #0.173.
link(93,48) :- #0.823.
link(48,128) :- #0.708.
link(128,48) :- #0.404.
link(48,133) :- #0.425.
link(133,48) :- #0.56.
link(49,71) :- #0.47.
link(71,49) :- #0.166.
link(49,88) :- #0.462.
link(88,49) :- #0.203.
link(49,119) :- #0.336.
link(119,49) :- #0.922.
link(49,125) :- #0.897.
link(125,49) :- #0.683.
link(49,129) :- #0.044.
link(129,49) :- #0.544.
link(50,69) :- #0.485.
link(69,50) :- #0.832.
link(50,74) :- #0.258.
link(74,50) :- #0.162.
link(50,76) :- #0.12.
link(76,50) :- #0.701.
link(50,87) :- #0.076.
link(87,50) :- #0.372.
link(50,96) :- #0.825.
link(96,50) :- #0.086.
link(50,101) :- #0.836.
link(101,50) :- #0.688.
link(50,106) :- #0.067.
link(106,50) :- #0.651.
link(50,109) :- #0.776.
link(109,50) :- #0.038.
link(51,66) :- #0.689.
link(66,51) :- #0.311.
link(51,72) :- #0.617.
link(72,51) :- #0.621.
link(51,84) :- #0.672.
link(84,51) :- #0.859.
link(51,102) :- #0.284.
link(102,51) :- #0.935.
link(51,103) :- #0.953.
link(103,51) :- #0.098.
link(51,117) :- #0.756.
link(117,51) :- #0.722.
link(51,125) :- #0.583.
link(125,51) :- #0.374.
link(52,63) :- #0.793.
link(63,52) :- #0.516.
link(52,69) :- #0.948.
link(69,52) :- #0.677.
link(52,81) :- #0.762.
link(81,52) :- #0.276.
link(52,84) :- #0.67.
link(84,52) :- #0.529.
link(52,104) :- #0.406.
link(104,52) :- #0.889.
link(52,129) :- #0.714.
link(129,52) :- #0.237.
link(52,135) :- #0.622.
link(135,52) :- #0.571.
link(53,57) :- #0.251.
link(57,53) :- #0.741.
link(53,58) :- #0.643.
link(58,53) :- #0.957.
link(53,60) :- #0.889.
link(60,53) :- #0.036.
link(53,61) :- #0.673.
link(61,53) :- #0.967.
link(53,65) :- #0.985.
link(65,53) :- #0.681.
link(53,71) :- #0.575.
link(71,53) :- #0.032.
link(53,72) :- #0.21.
link(72,53) :- #0.415.
link(53,74) :- #0.554.
link(74,53) :- #0.391.
link(53,77) :- #0.321.
link(77,53) :- #0.79.
link(53,120) :- #0.699.
link(120,53) :- #0.732.
link(53,123) :- #0.867.
link(123,53) :- #0.471.
link(53,131) :- #0.189.
link(131,53) :- #0.332.
link(54,58) :- #0.172.
link(58,54) :- #0.692.
link(54,60) :- #0.001.
link(60,54) :- #0.935.
link(54,70) :- #0.583.
link(70,54) :- #0.939.
link(54,88) :- #0.044.
link(88,54) :- #0.297.
link(54,93) :- #0.251.
link(93,54) :- #0.415.
link(54,99) :- #0.154.
link(99,54) :- #0.532.
link(54,104) :- #0.352.
link(104,54) :- #0.022.
link(54,111) :- #0.816.
link(111,54) :- #0.024.
link(54,115) :- #0.09.
link(115,54) :- #0.531.
link(54,118) :- #0.401.
link(118,54) :- #0.744.
link(54,125) :- #0.202.
link(125,54) :- #0.308.
link(54,127) :- #0.325.
link(127,54) :- #0.674.
link(54,131) :- #0.339.
link(131,54) :- #0.223.
link(54,133) :- #0.496.
link(133,54) :- #0.79.
link(55,56) :- #0.265.
link(56,55) :- #0.635.
link(55,69) :- #0.596.
link(69,55) :- #0.626.
link(55,73) :- #0.356.
link(73,55) :- #0.024.
link(55,88) :- #0.015.
link(88,55) :- #0.771.
link(55,96) :- #0.644.
link(96,55) :- #0.713.
link(55,135) :- #0.061.
link(135,55) :- #0.496.
link(56,59) :- #0.462.
link(59,56) :- #0.487.
link(56,62) :- #0.461.
link(62,56) :- #0.75.
link(56,63) :- #0.291.
link(63,56) :- #0.638.
link(56,65) :- #0.339.
link(65,56) :- #0.458.
link(56,67) :- #0.49.
link(67,56) :- #0.298.
link(56,76) :- #0.829.
link(76,56) :- #0.119.
link(56,88) :- #0.171.
link(88,56) :- #0.915.
link(56,89) :- #0.281.
link(89,56) :- #0.988.
link(56,105) :- #0.406.
link(105,56) :- #0.429.
link(56,111) :- #0.757.
link(111,56) :- #0.534.
link(56,114) :- #0.482.
link(114,56) :- #0.498.
link(57,63) :- #0.829.
link(63,57) :- #0.723.
link(57,69) :- #0.869.
link(69,57) :- #0.771.
link(57,84) :- #0.914.
link(84,57) :- #0.863.
link(57,94) :- #0.599.
link(94,57) :- #0.405.
link(57,98) :- #0.796.
link(98,57) :- #0.173.
link(57,105) :- #0.539.
link(105,57) :- #0.301.
link(57,117) :- #0.057.
link(117,57) :- #0.866.
link(57,126) :- #0.701.
link(126,57) :- #0.92.
link(57,133) :- #0.809.
link(133,57) :- #0.679.
link(57,136) :- #0.858.
link(136,57) :- #0.26.
link(57,137) :- #0.028.
link(137,57) :- #0.527.
link(58,62) :- #0.761.
link(62,58) :- #0.007.
link(58,77) :- #0.541.
link(77,58) :- #0.148.
link(58,90) :- #0.792.
link(90,58) :- #0.991.
link(58,94) :- #0.052.
link(94,58) :- #0.308.
link(58,111) :- #0.698.
link(111,58) :- #0.561.
link(58,122) :- #0.847.
link(122,58) :- #0.769.
link(59,66) :- #0.712.
link(66,59) :- #0.073.
link(59,77) :- #0.862.
link(77,59) :- #0.864.
link(59,84) :- #0.97.
link(84,59) :- #0.335.
link(59,88) :- #0.541.
link(88,59) :- #0.132.
link(59,89) :- #0.213.
link(89,59) :- #0.121.
link(59,118) :- #0.557.
link(118,59) :- #0.148.
link(59,133) :- #0.886.
link(133,59) :- #0.895.
link(59,135) :- #0.41.
link(135,59) :- #0.923.
link(60,71) :- #0.143.
link(71,60) :- #0.171.
link(60,104) :- #0.59.
link(104,60) :- #0.198.
link(60,122) :- #0.168.
link(122,60) :- #0.767.
link(60,131) :- #0.48.
link(131,60) :- #0.62.
link(60,133) :- #0.563.
link(133,60) :- #0.866.
link(60,138) :- #0.972.
link(138,60) :- #0.32.
link(61,83) :- #0.098.
link(83,61) :- #0.014.
link(61,87) :- #0.715.
link(87,61) :- #0.452.
link(61,101) :- #0.634.
link(101,61) :- #0.762.
link(61,104) :- #0.603.
link(104,61) :- #0.828.
link(61,106) :- #0.689.
link(106,61) :- #0.833.
link(61,112) :- #0.059.
link(112,61) :- #0.193.
link(61,124) :- #0.694.
link(124,61) :- #0.962.
link(61,125) :- #0.587.
link(125,61) :- #0.976.
link(61,128) :- #0.891.
link(128,61) :- #0.409.
link(62,73) :- #0.215.
link(73,62) :- #0.236.
link(62,94) :- #0.881.
link(94,62) :- #0.904.
link(62,96) :- #0.589.
link(96,62) :- #0.238.
link(62,102) :- #0.802.
link(102,62) :- #0.2.
link(62,136) :- #0.613.
link(136,62) :- #0.816.
link(62,140) :- #0.713.
link(140,62) :- #0.625.
link(63,70) :- #0.519.
link(70,63) :- #0.6.
link(63,72) :- #0.191.
link(72,63) :- #0.999.
link(63,73) :- #0.774.
link(73,63) :- #0.141.
link(63,78) :- #0.981.
link(78,63) :- #0.983.
link(63,86) :- #0.331.
link(86,63) :- #0.145.
link(63,94) :- #0.467.
link(94,63) :- #0.642.
link(63,100) :- #0.689.
link(100,63) :- #0.683.
link(63,109) :- #0.148.
link(109,63) :- #0.364.
link(63,115) :- #0.295.
link(115,63) :- #0.782.
link(63,116) :- #0.327.
link(116,63) :- #0.962.
link(63,117) :- #0.883.
link(117,63) :- #0.869.
link(63,126) :- #0.208.
link(126,63) :- #0.16.
link(63,138) :- #0.888.
link(138,63) :- #0.604.
link(64,105) :- #0.98.
link(105,64) :- #0.668.
link(64,116) :- #0.543.
link(116,64) :- #0.921.
link(64,123) :- #0.621.
link(123,64) :- #0.887.
link(64,132) :- #0.351.
link(132,64) :- #0.047.
link(65,75) :- #0.766.
link(75,65) :- #0.136.
link(65,82) :- #0.49.
link(82,65) :- #0.666.
link(65,102) :- #0.509.
link(102,65) :- #0.122.
link(65,109) :- #0.045.
link(109,65) :- #0.699.
link(65,110) :- #0.428.
link(110,65) :- #0.714.
link(65,123) :- #0.759.
link(123,65) :- #0.726.
link(65,125) :- #0.761.
link(125,65) :- #0.609.
link(65,134) :- #0.967.
link(134,65) :- #0.342.
link(65,140) :- #0.084.
link(140,65) :- #0.042.
link(66,82) :- #0.278.
link(82,66) :- #0.589.
link(66,105) :- #0.085.
link(105,66) :- #0.753.
link(66,106) :- #0.173.
link(106,66) :- #0.565.
link(66,108) :- #0.133.
link(108,66) :- #0.057.
link(66,111) :- #0.456.
link(111,66) :- #0.751.
link(66,119) :- #0.34.
link(119,66) :- #0.44.
link(66,126) :- #0.403.
link(126,66) :- #0.088.
link(67,72) :- #0.991.
link(72,67) :- #0.798.
link(67,76) :- #0.476.
link(76,67) :- #0.273.
link(67,112) :- #0.644.
link(112,67) :- #0.558.
link(67,114) :- #0.899.
link(114,67) :- #0.743.
link(67,116) :- #0.513.
link(116,67) :- #0.872.
link(67,120) :- #0.784.
link(120,67) :- #0.802.
link(67,121) :- #0.883.
link(121,67) :- #0.875.
link(67,140) :- #0.264.
link(140,67) :- #0.912.
link(68,74) :- #0.444.
link(74,68) :- #0.469.
link(68,75) :- #0.523.
link(75,68) :- #0.389.
link(68,86) :- #0.231.
link(86,68) :- #0.949.
link(68,101) :- #0.231.
link(101,68) :- #0.128.
link(68,106) :- #0.029.
link(106,68) :- #0.072.
link(69,74) :- #0.663.
link(74,69) :- #0.159.
link(69,81) :- #0.223.
link(81,69) :- #0.557.
link(69,89) :- #0.359.
link(89,69) :- #0.426.
link(69,92) :- #0.165.
link(92,69) :- #0.64.
link(69,117) :- #0.189.
link(117,69) :- #0.23.
link(69,118) :- #0.706.
link(118,69) :- #0.728.
link(69,123) :- #0.029.
link(123,69) :- #0.005.
link(69,139) :- #0.152.
link(139,69) :- #0.862.
link(70,77) :- #0.982.
link(77,70) :- #0.105.
link(70,79) :- #0.758.
link(79,70) :- #0.836.
link(70,83) :- #0.566.
link(83,70) :- #0.717.
link(70,86) :- #0.094.
link(86,70) :- #0.237.
link(70,92) :- #0.965.
link(92,70) :- #0.122.
link(70,127) :- #0.263.
link(127,70) :- #0.38.
link(70,128) :- #0.965.
link(128,70) :- #0.94.
link(70,139) :- #0.519.
link(139,70) :- #0.158.
link(71,77) :- #0.7.
link(77,71) :- #0.457.
link(71,93) :- #0.38.
link(93,71) :- #0.002.
link(71,109) :- #0.493.
link(109,71) :- #0.384.
link(71,113) :- #0.607.
link(113,71) :- #0.887.
link(71,126) :- #0.809.
link(126,71) :- #0.6.
link(71,139) :- #0.589.
link(139,71) :- #0.009.
link(72,93) :- #0.379.
link(93,72) :- #0.512.
link(72,98) :- #0.709.
link(98,72) :- #0.274.
link(72,116) :- #0.577.
link(116,72) :- #0.18.
link(72,117) :- #0.331.
link(117,72) :- #0.2.
link(72,120) :- #0.929.
link(120,72) :- #0.285.
link(72,124) :- #0.518.
link(124,72) :- #0.361.
link(73,94) :- #0.585.
link(94,73) :- #0.535.
link(73,95) :- #0.534.
link(95,73) :- #0.024.
link(73,115) :- #0.65.
link(115,73) :- #0.16.
link(73,131) :- #0.308.
link(131,73) :- #0.555.
link(73,139) :- #0.469.
link(139,73) :- #0.394.
link(74,77) :- #0.461.
link(77,74) :- #0.226.
link(74,84) :- #0.376.
link(84,74) :- #0.353.
link(74,87) :- #0.192.
link(87,74) :- #0.866.
link(74,97) :- #0.78.
link(97,74) :- #0.667.
link(74,104) :- #0.395.
link(104,74) :- #0.918.
link(74,121) :- #0.011.
link(121,74) :- #0.635.
link(74,123) :- #0.197.
link(123,74) :- #0.847.
link(75,78) :- #0.413.
link(78,75) :- #0.345.
link(75,98) :- #0.637.
link(98,75) :- #0.69.
link(75,106) :- #0.166.
link(106,75) :- #0.123.
link(75,107) :- #0.3.
link(107,75) :- #0.235.
link(75,108) :- #0.313.
link(108,75) :- #0.215.
link(75,118) :- #0.191.
link(118,75) :- #0.745.
link(75,129) :- #0.921.
link(129,75) :- #0.809.
link(75,136) :- #0.234.
link(136,75) :- #0.979.
link(75,138) :- #0.943.
link(138,75) :- #0.152.
link(76,84) :- #0.279.
link(84,76) :- #0.26.
link(76,93) :- #0.942.
link(93,76) :- #0.833.
link(76,122) :- #0.032.
link(122,76) :- #0.301.
link(77,82) :- #0.544.
link(82,77) :- #0.528.
link(77,98) :- #0.529.
link(98,77) :- #0.125.
link(77,105) :- #0.404.
link(105,77) :- #0.862.
link(77,121) :- #0.756.
link(121,77) :- #0.656.
link(77,122) :- #0.36.
link(122,77) :- #0.399.
link(77,127) :- #0.277.
link(127,77) :- #0.967.
link(77,129) :- #0.523.
link(129,77) :- #0.25.
link(78,85) :- #0.81.
link(85,78) :- #0.981.
link(78,87) :- #0.788.
link(87,78) :- #0.948.
link(78,92) :- #0.934.
link(92,78) :- #0.905.
link(78,93) :- #0.005.
link(93,78) :- #0.082.
link(78,102) :- #0.575.
link(102,78) :- #0.432.
link(78,105) :- #0.905.
link(105,78) :- #0.886.
link(78,106) :- #0.761.
link(106,78) :- #0.79.
link(78,108) :- #0.413.
link(108,78) :- #0.575.
link(78,115) :- #0.802.
link(115,78) :- #0.861.
link(78,125) :- #0.94.
link(125,78) :- #0.343.
link(78,137) :- #0.749.
link(137,78) :- #0.784.
link(79,98) :- #0.238.
link(98,79) :- #0.79.
link(79,107) :- #0.405.
link(107,79) :- #0.67.
link(79,113) :- #0.03.
link(113,79) :- #0.113.
link(79,114) :- #0.474.
link(114,79) :- #0.992.
link(79,128) :- #0.486.
link(128,79) :- #0.075.
link(79,134) :- #0.793.
link(134,79) :- #0.316.
link(79,135) :- #0.028.
link(135,79) :- #0.988.
link(80,91) :- #0.978.
link(91,80) :- #0.543.
link(80,99) :- #0.692.
link(99,80) :- #0.147.
link(80,108) :- #0.874.
link(108,80) :- #0.642.
link(80,116) :- #0.254.
link(116,80) :- #0.299.
link(80,123) :- #0.731.
link(123,80) :- #0.934.
link(81,86) :- #0.601.
link(86,81) :- #0.315.
link(81,88) :- #0.208.
link(88,81) :- #0.454.
link(81,90) :- #0.78.
link(90,81) :- #0.746.
link(81,92) :- #0.673.
link(92,81) :- #0.684.
link(81,93) :- #0.172.
link(93,81) :- #0.84.
link(81,96) :- #0.569.
link(96,81) :- #0.196.
link(81,113) :- #0.282.
link(113,81) :- #0.016.
link(81,115) :- #0.205.
link(115,81) :- #0.333.
link(82,109) :- #0.191.
link(109,82) :- #0.115.
link(82,122) :- #0.343.
link(122,82) :- #0.41.
link(82,128) :- #0.538.
link(128,82) :- #0.732.
link(83,86) :- #0.733.
link(86,83) :- #0.617.
link(83,93) :- #0.536.
link(93,83) :- #0.905.
link(83,103) :- #0.779.
link(103,83) :- #0.63.
link(83,136) :- #0.355.
link(136,83) :- #0.749.
link(84,86) :- #0.026.
link(86,84) :- #0.2.
link(84,97) :- #0.06.
link(97,84) :- #0.614.
link(84,112) :- #0.1.
link(112,84) :- #0.785.
link(84,119) :- #0.103.
link(119,84) :- #0.911.
link(84,130) :- #0.242.
link(130,84) :- #0.708.
link(84,135) :- #0.106.
link(135,84) :- #0.194.
link(85,91) :- #0.863.
link(91,85) :- #0.699.
link(85,106) :- #0.044.
link(106,85) :- #0.948.
link(85,109) :- #0.927.
link(109,85) :- #0.909.
link(85,135) :- #0.95.
link(135,85) :- #0.074.
link(85,136) :- #0.781.
link(136,85) :- #0.258.
link(86,87) :- #0.335.
link(87,86) :- #0.309.
link(86,90) :- #0.677.
link(90,86) :- #0.813.
link(86,91) :- #0.807.
link(91,86) :- #0.228.
link(86,99) :- #0.413.
link(99,86) :- #0.907.
link(86,105) :- #0.934.
link(105,86) :- #0.391.
link(86,128) :- #0.442.
link(128,86) :- #0.145.
link(86,140) :- #0.606.
link(140,86) :- #0.29.
link(87,88) :- #0.736.
link(88,87) :- #0.661.
link(87,98) :- #0.604.
link(98,87) :- #0.789.
link(87,100) :- #0.642.
link(100,87) :- #0.12.
link(87,115) :- #0.431.
link(115,87) :- #0.457.
link(87,129) :- #0.657.
link(129,87) :- #0.498.
link(87,136) :- #0.916.
link(136,87) :- #0.917.
link(87,137) :- #0.371.
link(137,87) :- #0.68.
link(88,92) :- #0.39.
link(92,88) :- #0.757.
link(88,96) :- #0.924.
link(96,88) :- #0.051.
link(88,97) :- #0.404.
link(97,88) :- #0.579.
link(88,106) :- #0.949.
link(106,88) :- #0.423.
link(88,108) :- #0.666.
link(108,88) :- #0.166.
link(88,109) :- #0.75.
link(109,88) :- #0.801.
link(88,111) :- #0.032.
link(111,88) :- #0.859.
link(88,119) :- #0.018.
link(119,88) :- #0.219.
link(88,120) :- #0.701.
link(120,88) :- #0.946.
link(88,122) :- #0.68.
link(122,88) :- #0.556.
link(89,100) :- #0.737.
link(100,89) :- #0.994.
link(89,114) :- #0.186.
link(114,89) :- #0.155.
link(89,117) :- #0.774.
link(117,89) :- #0.54.
link(89,131) :- #0.905.
link(131,89) :- #0.848.
link(90,97) :- #0.093.
link(97,90) :- #0.729.
link(90,99) :- #0.932.
link(99,90) :- #0.775.
link(90,139) :- #0.709.
link(139,90) :- #0.34.
link(91,92) :- #0.245.
link(92,91) :- #0.05.
link(91,97) :- #0.076.
link(97,91) :- #0.041.
link(91,120) :- #0.138.
link(120,91) :- #0.786.
link(91,127) :- #0.093.
link(127,91) :- #0.635.
link(91,134) :- #0.52.
link(134,91) :- #0.412.
link(92,93) :- #0.511.
link(93,92) :- #0.98.
link(92,96) :- #0.143.
link(96,92) :- #0.302.
link(92,101) :- #0.201.
link(101,92) :- #0.1.
link(92,103) :- #0.852.
link(103,92) :- #0.919.
link(92,115) :- #0.
link(115,92) :- #0.854.
link(92,119) :- #0.643.
link(119,92) :- #0.437.
link(92,121) :- #0.72.
link(121,92) :- #0.266.
link(92,127) :- #0.742.
link(127,92) :- #0.893.
link(92,137) :- #0.075.
link(137,92) :- #0.908.
link(93,99) :- #0.128.
link(99,93) :- #0.561.
link(93,105) :- #0.534.
link(105,93) :- #0.484.
link(93,118) :- #0.43.
link(118,93) :- #0.469.
link(93,130) :- #0.837.
link(130,93) :- #0.148.
link(93,135) :- #0.79.
link(135,93) :- #0.799.
link(94,98) :- #0.047.
link(98,94) :- #0.065.
link(94,126) :- #0.13.
link(126,94) :- #0.693.
link(94,136) :- #0.601.
link(136,94) :- #0.017.
link(95,98) :- #0.001.
link(98,95) :- #0.433.
link(95,113) :- #0.967.
link(113,95) :- #0.414.
link(95,116) :- #0.218.
link(116,95) :- #0.752.
link(95,124) :- #0.886.
link(124,95) :- #0.126.
link(95,125) :- #0.534.
link(125,95) :- #0.709.
link(95,133) :- #0.033.
link(133,95) :- #0.2.
link(96,97) :- #0.357.
link(97,96) :- #0.005.
link(96,106) :- #0.685.
link(106,96) :- #0.399.
link(96,111) :- #0.654.
link(111,96) :- #0.16.
link(96,120) :- #0.91.
link(120,96) :- #0.798.
link(96,133) :- #0.836.
link(133,96) :- #0.855.
link(96,136) :- #0.058.
link(136,96) :- #0.543.
link(96,138) :- #0.114.
link(138,96) :- #0.99.
link(97,101) :- #0.359.
link(101,97) :- #0.532.
link(97,119) :- #0.108.
link(119,97) :- #0.168.
link(97,133) :- #0.005.
link(133,97) :- #0.961.
link(97,135) :- #0.85.
link(135,97) :- #0.232.
link(97,136) :- #0.834.
link(136,97) :- #0.512.
link(97,140) :- #0.631.
link(140,97) :- #0.925.
link(98,104) :- #0.017.
link(104,98) :- #0.861.
link(98,107) :- #0.881.
link(107,98) :- #0.377.
link(98,115) :- #0.858.
link(115,98) :- #0.195.
link(98,129) :- #0.628.
link(129,98) :- #0.998.
link(99,101) :- #0.883.
link(101,99) :- #0.558.
link(99,107) :- #0.504.
link(107,99) :- #0.897.
link(99,122) :- #0.885.
link(122,99) :- #0.146.
link(99,129) :- #0.33.
link(129,99) :- #0.477.
link(100,103) :- #0.15.
link(103,100) :- #0.689.
link(100,112) :- #0.395.
link(112,100) :- #0.661.
link(100,115) :- #0.872.
link(115,100) :- #0.858.
link(100,116) :- #0.561.
link(116,100) :- #0.767.
link(100,121) :- #0.058.
link(121,100) :- #0.346.
link(101,114) :- #0.625.
link(114,101) :- #0.509.
link(102,106) :- #0.451.
link(106,102) :- #0.908.
link(102,111) :- #0.31.
link(111,102) :- #0.758.
link(102,136) :- #0.951.
link(136,102) :- #0.941.
link(103,122) :- #0.914.
link(122,103) :- #0.371.
link(103,133) :- #0.416.
link(133,103) :- #0.175.
link(104,116) :- #0.035.
link(116,104) :- #0.719.
link(104,118) :- #0.888.
link(118,104) :- #0.929.
link(104,126) :- #0.687.
link(126,104) :- #0.197.
link(105,130) :- #0.219.
link(130,105) :- #0.311.
link(105,136) :- #0.035.
link(136,105) :- #0.218.
link(106,110) :- #0.651.
link(110,106) :- #0.423.
link(107,113) :- #0.622.
link(113,107) :- #0.599.
link(107,132) :- #0.314.
link(132,107) :- #0.181.
link(108,111) :- #0.155.
link(111,108) :- #0.303.
link(108,127) :- #0.427.
link(127,108) :- #0.105.
link(108,133) :- #0.382.
link(133,108) :- #0.567.
link(108,135) :- #0.479.
link(135,108) :- #0.52.
link(108,139) :- #0.464.
link(139,108) :- #0.352.
link(109,110) :- #0.17.
link(110,109) :- #0.767.
link(109,114) :- #0.233.
link(114,109) :- #0.829.
link(109,122) :- #0.683.
link(122,109) :- #0.623.
link(109,130) :- #0.33.
link(130,109) :- #0.523.
link(110,132) :- #0.091.
link(132,110) :- #0.298.
link(110,134) :- #0.022.
link(134,110) :- #0.421.
link(110,136) :- #0.702.
link(136,110) :- #0.493.
link(111,123) :- #0.465.
link(123,111) :- #0.47.
link(111,128) :- #0.734.
link(128,111) :- #0.916.
link(112,115) :- #0.81.
link(115,112) :- #0.845.
link(112,121) :- #0.415.
link(121,112) :- #0.502.
link(112,123) :- #0.116.
link(123,112) :- #0.066.
link(112,125) :- #0.867.
link(125,112) :- #0.959.
link(113,124) :- #0.066.
link(124,113) :- #0.701.
link(114,117) :- #0.657.
link(117,114) :- #0.288.
link(114,121) :- #0.566.
link(121,114) :- #0.169.
link(115,117) :- #0.732.
link(117,115) :- #0.61.
link(115,126) :- #0.93.
link(126,115) :- #0.088.
link(116,119) :- #0.562.
link(119,116) :- #0.305.
link(116,130) :- #0.492.
link(130,116) :- #0.123.
link(116,133) :- #0.276.
link(133,116) :- #0.542.
link(117,130) :- #0.507.
link(130,117) :- #0.146.
link(117,137) :- #0.588.
link(137,117) :- #0.169.
link(118,131) :- #0.554.
link(131,118) :- #0.533.
link(119,121) :- #0.64.
link(121,119) :- #0.539.
link(119,130) :- #0.544.
link(130,119) :- #0.041.
link(120,138) :- #0.752.
link(138,120) :- #0.704.
link(120,139) :- #0.752.
link(139,120) :- #0.055.
link(122,139) :- #0.534.
link(139,122) :- #0.84.
link(123,135) :- #0.118.
link(135,123) :- #0.377.
link(124,129) :- #0.224.
link(129,124) :- #0.39.
link(125,127) :- #0.765.
link(127,125) :- #0.375.
link(125,128) :- #0.111.
link(128,125) :- #0.128.
link(126,130) :- #0.165.
link(130,126) :- #0.5.
link(126,133) :- #0.041.
link(133,126) :- #0.71.
link(127,130) :- #0.439.
link(130,127) :- #0.322.
link(128,136) :- #0.641.
link(136,128) :- #0.76.
link(129,130) :- #0.782.
link(130,129) :- #0.38.
link(129,132) :- #0.637.
link(132,129) :- #0.787.
link(129,133) :- #0.08.
link(133,129) :- #0.018.
link(131,138) :- #0.54.
link(138,131) :- #0.141.
link(132,133) :- #0.219.
link(133,132) :- #0.832.
link(132,139) :- #0.843.
link(139,132) :- #0.542.
link(133,139) :- #0.988.
link(139,133) :- #0.332.
link(135,140) :- #0.334.
link(140,135) :- #0.857.
colour(red0).
colour(green0).
colour(blue0).
colour(yellow0).
colour(cyan0).
